SUPERVISORY CONTROL OF HYBRID SYSTEMS VIA l-COMPLETE APPROXIMATIONS
نویسندگان
چکیده
This contribution deals with the synthesis of supervisory control for hybrid systems with discrete external signals. Such systems are in general neither l-complete nor representable by nite state machines. We nd the strongest l-complete approximation (abstraction) l for , represent it by a nite state machine , and investigate the control problem for the approximation. If a solution exists, we synthesize the maximally permissive supervisor for l. We show that it also solves the control problem for the hybrid system. If no solution exists, approximation accuracy can be increased by computing the strongest k-complete abstraction k , k > l. Most of this paper is set within the framework of Willems' behavioural systems theory.
منابع مشابه
Supervisory Control of Hybrid Systems within a Behavioural Framework
This contribution addresses the synthesis of supervisory control for hybrid systems with discrete external signals. Such systems are in general neither l-complete nor can they be represented by nite state machines. We nd an l-complete approximation (abstraction) l for , represent it by a nite state machine, and investigate the control problem for the approximation. If a solution exists, we synt...
متن کاملSupervisory Control of Hybrid Systems Using Approximating Hybrid Automata
Special Issue on " Control in Hybrid Systems " Abstract This paper describes an approach to synthesizing discrete controllers for hybrid systems based on finite-state approximations of the hybrid system dynamics. The plant is a hybrid system with continuous dynamics that can be switched by a discrete-valued input signal. The information available to the supervisory controller is an event signal...
متن کاملSoft Switching MBC Controller for MIMO Linear Hybrid Systems
Switching supervisory is the most important section of a feedback control process inMIMO hybrid systems. By choosing a non-compatible controller, system may go tounstable mode or high overshoot response. In this paper, a new method of switchingfor selecting MBC controllers is discussed. Results of the simulation show the MIMO(2-in 2-out) linear hybrid system can be switched stable and low overs...
متن کاملESTIMATING REACHABLE STATES OF HYBRID SYSTEMS VIA l-COMPLETE APPROXIMATIONS
This contribution treats the estimation of reachable states for time invariant hybrid systems. Using the framework provided by Willems’ behavioural systems theory, we suggest a method based on l-complete approximations, which can be realized by finite state machines. The approximating behaviour is a superset of the original behaviour. Hence, the estimate of reachable states based on an l-comple...
متن کاملGenerating Discrete Trace Transition System of a Polyhe-dral Invariant Hybrid Automaton
Supervisory control and fault diagnosis of hybrid systems need to have complete information about the discrete states transitions of the underling system. From this point of view, the hybrid system should be abstracted to a Discrete Trace Transition System (DTTS) and represented by a discrete mode transition graph. In this paper an effective method is proposed for generating discrete mode trans...
متن کامل